Integrating Component Tests to System Tests

During the verification phase in component-oriented approaches to (embedded) system development component tests are generally followed by system tests, often using different testing specifications and environments. Thus, when integrating components in the overall system, the actual implementation platform may differ from the development platform, leading to a deviation in the component behavior. This raises the issue of testing the functionality of a component integrated in a larger system without the use of an – instrumented – development platform, allowing to perform glass-box-testing. We show how a test case of a component can be transformed into a black-box test case of the overall system, allowing to deduce the validity of the test case of the component from the validity of the test case of the system. To mechanize the transformation, we provide a formalization of test cases and their integration in component networks in WS1S, and apply the Mona model checker based on this formalization to automatically generate system test cases from component test cases.